$\forall$${\it es}$:event\_system\{i:l\}, $e$:es{-}E(${\it es}$). sqequal([$e$, $e$]; cons($e$; []))